Implication Details

Assumptions: self-dual, wide pushouts

Conclusions: wide pullbacks

Proof: This holds by self-duality.